Hakutulokset: Kirjoja kirjailijalta martin wirsing
yhteensä 36 hakutulosta
Web Engineering
Web engineering is a new discipline that addresses the pressing need for syst- atic and tool-supported approaches for the development, maintenance and te- ing of Web applications. …
Knowledge Science, Engineering and Management
This book constitutes the refereed proceedings of the 8th International Conference on Knowledge Science, Engineering and Management, KSEM 2015, held in Chongqing, China, in October …
Trustworthy Global Computing
Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees …
Software Engineering for Collective Autonomic Systems
A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new …
Elementare Aussagenlogik
Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen …
Trustworthy Global Computing
Global computing refers to computation over "e;global computers,"e; i.e., com- tational infrastructures available globally and able to provide uniform services with …
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge
This book constitutes the proceedings of the 6th European Conference on Massive Open Online Courses, EMOOCs 2019, held in Naples, Italy, in May 2019. The 15 full and 6 short papers …
Software Engineering for Collective Autonomic Systems
A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new …
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge
This book constitutes the proceedings of the 6th European Conference on Massive Open Online Courses, EMOOCs 2019, held in Naples, Italy, in May 2019.The 15 full and 6 short papers …
Adapting Proofs-as-Programs
This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. It has …
Algebraic Methodology and Software Technology
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July …